
#ifndef C66X_TARGET_ELF_H
#define C66X_TARGET_ELF_H
static inline const char *cpu_get_model(uint32_t eflags)
{
    return "c6678";
}
#endif
